Формальные методы

🧩 Профессор Кришнамуртхи о формальных методах: почему математически идеальные модели вредят пользователям?